Term Gallery logo

Значения термина predicate calculus на английском

A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

Отсутствуют примеры синонимов
Использование термина predicate calculus на английском
1
I'd be quite interested in hearing about her research at second hand, from someone who obviously understands so much about predicate calculus.
The Atrocity Archives
2
They start with an introduction to set theory and first order predicate calculus, then tackle the lambda calculus and the halting problem.
The Rhesus Chart
3
The gears in his head are whirring as they mesh at high speed, building a Babbage-engine picture of a proposition in predicate calculus.
The Rhesus Chart